[IA64] Fix VTi domain destroy bug
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Wed, 17 May 2006 21:52:10 +0000 (15:52 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Wed, 17 May 2006 21:52:10 +0000 (15:52 -0600)
commit4a0b492a66c330e8cae33ea144c0dd045aee8290
tree474a49406684285be9f8a7d53dcbc04ec1b063f6
parent345aa4ded5fc718dee30d1ac8f397704f9f88996
[IA64] Fix VTi domain destroy bug

This patch will fix VTi domain destroy bug. On tip, we couldn't
destroy VTi successfully at times. It was caused by misusing
vhpt base address for VTi domain in vhpt_flush function.

Signed-off-by : Zhang xiantao <xiantao.zhang@intel.com>
xen/arch/ia64/xen/vhpt.c